Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
891	Degree Restrictions in Spanish Exclamatives Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:55:24 Philosophy of language Semantics Propositional calculus Mathematical logic Statements Proposition Determiner Illocutionary act Predicate Logic Linguistics Mathematics
892	Scalar (Non-)Identity and Similarity Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:15 Predicate logic Philosophical logic Abstraction Semantics Propositional calculus Property Interpretation Predicate Function Logic Mathematics Philosophy
893	Alternatives in the Disjunctive Antecedents Problem Luis Alonso-Ovalle University of Massachusetts Boston Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:50 Semantics Modal logic Counterfactual conditional Philosophical logic Possible world Proposition Presupposition David Lewis Antecedent Logic Conditionals Propositional calculus
894	Automated Verification of Signalling Principles in Railway Interlocking Systems Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-03-08 11:42:58 Propositional calculus Railway signalling Model theory Interlocking Ladder logic Propositional variable First-order logic Ladder Railroad switch Logic Transport Land transport
895	Verification of solid state interlocking programs Phillip James1 , Andy Lawrence1 , Faron Moller1 , Markus Roggenbach1 , Monika Seisenberger1 , Anton Setzer1 , Karim Kanso2 , and Simon Chadwick3 1 Swansea Railway Verifi Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-12-12 10:55:19 Propositional calculus Predicate logic Model theory Formal languages Ladder logic Model checking Logic programming First-order logic Interlocking Logic Mathematical logic Mathematics
896	9124-ImmunAssayFleaTyphusFlyerPages.indd Add to Reading List Source URL: www.fullerlaboratories.com Language: English - Date: 2013-06-12 19:04:26 Negation Semantics Logic Linguistics Mathematical logic Boolean algebra Propositional calculus Grammar
897	Twenty Years of Rewriting Logic Jos´e Meseguer Computer Science Department University of Illinois at Urbana-Champaign, IL 61801, USA Abstract Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:45 Formal languages Logic programming Automated theorem proving Propositional calculus Rewriting Unification Substitution Abstract rewriting system Entailment Logic Theoretical computer science Logic in computer science
898	A constructive semantics for ALC Loris Bozzato1 , Mauro Ferrari1 , Camillo Fiorentini2 , Guido Fiorino3 1 DICOM, Univ. degli Studi dell’Insubria, Via Mazzini 5, 21100, Varese, Italy DSI, Univ. degli Studi di Milano, Vi Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Proof theory Deduction Propositional calculus Natural deduction Curry–Howard correspondence Entailment Valuation Lambda calculus Orbifold Logic Mathematics Abstract algebra
899	A Differential Diagnostic System based on a Java Framework for Intelligent Systems by Holger Flier Add to Reading List Source URL: www.utdallas.edu Language: English - Date: 2006-06-28 21:44:26 Logic programming Logic Clause Predicate logic Literal Java Conjunctive normal form Tseitin-Transformation Propositional calculus Mathematical logic Computing
900	On the Semantics of German Declarative and Interrogative Root and Complement Clauses Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:58:29 Grammar Mathematical logic Parts of speech Propositional calculus Statements Predicate Proposition Clause Logic programming Linguistics Logic Syntax

UPDATE